Models of computation

Results: 1716



#Item
471Models of computation / Agent-based model / Complex systems theory / Scientific modeling / Communication / Entailment / Logic / Multi-agent systems / Science

A First-Order Theory of Communication and Multi-Agent Plans: Appendix A Leora Morgenstern IBM Watson Labs

Add to Reading List

Source URL: www.cs.nyu.edu

Language: English - Date: 2005-03-14 13:47:24
472Theory of computation / Mathematics / Mathematical sciences / Μ operator / Primitive recursive function / Markov models / Markov chain / Computability theory

CHAIN LADDER CORRELATIONS Greg Taylor Taylor Fry Consulting Actuaries Level 11, 55 Clarence Street Sydney NSW 2000

Add to Reading List

Source URL: fbe.unimelb.edu.au

Language: English - Date: 2013-08-05 02:23:08
473Theoretical computer science / Computer program / Mathematics / Models of computation / Computability theory / Computing / Algorithm / Mathematical logic

Chapter 2: Algorithmics Quotation Algorithmic Adventures From Knowledge to Magic

Add to Reading List

Source URL: www.win.tue.nl

Language: English - Date: 2010-10-12 03:18:13
474Software development process / Science / Computer science / Software development / Automata theory / Models of computation / Finite-state machine

ACTIVE LEARNING ANIMATIONS FOR THE THEORY OF COMPUTING THE FSA SIMULATOR by Adib Roy

Add to Reading List

Source URL: www.cs.montana.edu

Language: English - Date: 2014-10-27 15:50:49
475Malware / Models of computation / Algorithm / Software bug / KeY / Control theory / Actor model / MS Antivirus / Denotational semantics / Theoretical computer science / Applied mathematics / Computing

Function Extraction Technology: Computing the Behavior of Malware Rick Linger, Kirk Sayre, Tim Daly, Mark Pleszkoch CERT, Software Engineering Institute Carnegie Mellon University Pittsburgh, PA

Add to Reading List

Source URL: daly.axiom-developer.org

Language: English - Date: 2010-08-30 12:03:23
476Computer architecture / Reconfigurable computing / Models of computation / Digital electronics / Field-programmable gate array / Programming paradigms / Parallel computing / Dataflow / Hardware description language / Electronic engineering / Computing / Electronics

Department of Electrical and Computer Systems Engineering Technical Report MECSE

Add to Reading List

Source URL: www.ecse.monash.edu.au

Language: English - Date: 2006-08-28 10:46:06
477Functional programming / Models of computation / Logic in computer science / Monad / Denotational semantics / Lambda calculus / Fixed-point combinator / Valuation / Theoretical computer science / Declarative programming / Mathematics

Relating Models of Backtracking Mitchell Wand Dale Vaillancourt College of Computer and Information Science

Add to Reading List

Source URL: www.ccs.neu.edu

Language: English - Date: 2004-07-21 16:26:52
478Computing / Automata theory / Models of computation / Finite-state machine

Probabilistic Arithmetic Automata and their Application to Pattern Matching Statistics Tobias Marschall and Sven Rahmann Bioinformatics for High-Throughput Technologies Chair of Algorithm Engineering TU Dortmund, Germany

Add to Reading List

Source URL: www.cs.ucr.edu

Language: English - Date: 2008-06-20 11:34:56
479Systems theory / Cybernetics / Differential equations / Models of computation / Dynamical system / State space / Hybrid system / Finite-state machine / Variable / Control theory / Mathematics / Automata theory

PII: 00202-T

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2014-03-05 16:46:45
480Accumulator / Central processing unit / Models of computation / Assembly languages / Missile guidance / Apollo Abort Guidance System / NAR 1 / Computing / Computer hardware / Computer architecture

THE LGP-27 COMMAND S7RUCTURE INTRODUCTION Generally stated, programming is the process by which problems are put into a form which a computer can handle. Since the computer can only calculate numerical answers to numeri

Add to Reading List

Source URL: www.ed-thelen.org

Language: English - Date: 2008-07-23 04:19:34
UPDATE